Early Deciding Synchronous Renaming in O( logf ) Rounds or Less
نویسندگان
چکیده
Renaming is a fundamental problem in distributed computing, in which a set of n processes need to pick unique names from a namespace of limited size. In this paper, we present the first early-deciding upper bounds for synchronous renaming, in which the running time adapts to the actual number of failures f in the execution. We show that, surprisingly, renaming can be solved in constant time if the number of failures f is limited to O( √ n), while for general f ≤ n− 1 renaming can always be solved in O(log f) communication rounds. In the wait-free case, i.e. for f = n − 1, our upper bounds match the Ω(logn) lower bound of Chaudhuri et al. [13].
منابع مشابه
UNIVERSIDADE DE LISBOA INSTITUTO SUPERIOR TÉCNICO Fault-Tolerant Renaming in Synchronous Message-Passing Systems
Exploring the power and limitations of different coordination problems has always been at the heart of the theory of distributed computing. This thesis addresses the coordination problem called renaming, in which processes start with ids from a large namespace and output new names from a small namespace. Renaming can be seen as a dual to the classical consensus problem: instead of agreeing on a...
متن کاملNarrowing Power vs. Efficiency in Synchronous Set Agreement
The k-set agreement problem is a generalization of the uniform consensus problem: each process proposes a value, and each non-faulty process has to decide a value such that a decided value is a proposed value, and at most k different values are decided. It has been shown that any algorithm that solves the k-set agreement problem in synchronous systems that can suffer up to t crash failures requ...
متن کاملA Topological Treatment of Early-Deciding Set-Agreement
This paper considers the k-set-agreement problem in a synchronous message passing distributed system where up to t processes can fail by crashing. We determine the number of communication rounds needed for all correct processes to reach a decision in a given run, as a function of k, the degree of coordination, and f ≤ t the number of processes that actually fail in the run. We prove a lower bou...
متن کاملGossip Protocols for Renaming and Sorting
We devise efficient gossip-based protocols for some fundamental distributed tasks. The protocols assume an n-node network supporting point-to-point communication, and in every round, each node exchanges information of size O(logn) bits with (at most) one other node. We first consider the renaming problem, that is, to assign distinct IDs from a small ID space to all nodes of the network. We prop...
متن کاملThe Time-Complexity of Local Decision in Distributed Agreement
Agreement is at the heart of distributed computing. In its simple form, it requires a set of processes to decide on a common value out of the values they propose. The time-complexity of distributed agreement problems is generally measured in terms of the number of communication rounds needed to achieve a global decision; i.e., for all non-faulty (correct) processes to reach a decision. This pap...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012